1. Constructibility and mathematical existence /
Author: Charles S. Chihara.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constructive mathematics.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Logique symbolique et mathématique.,Mathématiques constructives.,Mathématiques-- Philosophie.,Constructieve wiskunde.,Constructive mathematics.,Filosofia da matemática.,Filosofie.,Logic, Symbolic and mathematical.,Lógica matemática.,Matemática construtiva.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Mathematics-- Philosophy.,Ontologie (filosofie)
Classification :
QA8
.
4
.
C45
1990eb
2. Forma y modalidad :
Author: Mario Gómez Torrente.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Modality (Logic),Logic, Symbolic and mathematical.,Modality (Logic)
Classification :
BC135
.
G65
2000
3. Foundations of mathematical logic /
Author: Haskell B. Curry.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.
Classification :
QA9
.
C85
1977
4. Hybrid Logic and its Proof-Theory
Author: / by Torben Braeuner
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Proof theory,Logic, Symbolic and mathematical
Classification :
QA9
,.
54
.
B73
2011
5. Intensional and higher-order modal logic
Author: / Daniel Gallin. -
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Modality (Logic),Logic, Symbolic and mathematical.
Classification :
BC
,
199
,.
M6
,
G35
,
1975
6. Intensional and higher-order modal logic : with applications to Montague semantics
Author: Gallin, Daniel.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Modality )Logic(,، Logic, Symbolic and mathematical
Classification :
BC
199
.
M6
.
G35
1975
7. Logic and its applications :
Author: Kamal Lodaya (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical -- Congresses.,Logic.,MATHEMATICS -- Infinity.
Classification :
QA9
.
A1
K363
2013
8. Mathematics, models, and modality. selected philosophical
Author: Burgess, John P.,8491-
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Mathematics- Philosophy,، Logic, Symbolic and mathematical
Classification :
QA
8
.
6
.
B87
2008
9. Multi-Dimensional Modal Logic
Author: by Maarten Marx, Yde Venema.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
10. Objects and modalities : a study in the semantics of modal logic
Author: Tero Tulenheimo
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Modality )Logic(,، Semantics )Philosophy(,، Logic, Symbolic and mathematical
Classification :
BC
199
.
M6T85
11. Temporal logic
Author: / [by] Nicholas Rescher and Alasdair Urquhart
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
BC135
،.
R448
12. Temporal logic
Author: / [by] Nicholas Rescher and Alasdair Urquhart
Library: Library of factualty of psychology and Education (Tehran)
Subject: Logic, Symbolic and mathematical,Time,Modality (Logic)
Classification :
BC
,
135
, .
R448
13. Time and modality
Author: / A.N. Prior
Library: Library of Islamic Parliament (Tehran)
Subject:
Classification :
BC135
.
P78
14. Time and modality :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,08.33 logics and argumentation.,Epistemic logic.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Modale logica.,Modality (Logic),Tense (Logic)
Classification :
BC135
.
P78
15. Truth, syntax and modality
Author: / Edited by Hugues Leblanc
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
BC135
،.
C56
1970
16. Truth, syntax and modality
Author: edited by Hugues Leblanc.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Congresses.,Semantics, Congresses.
17. Truth, syntax and modality; proceedings of the Temple University Conference on Alternative Semantics
Author: Conference on Alternative Semantics, 0791, Temple University
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical-- Congresses,، Semantics-- Congresses
Classification :
BC
135
.
C56
1970
18. Truth, syntax and modality; proceedings of the Temple University Conference on Alternative Semantics
Author: edited by Hugues Leblanc
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Semantics
Classification :
BC
135
.
C56
1970
19. Truth, syntax and modality: proceedings of the Temple University Conference on Alternative semantics
Author: edited by Hugues Leblance
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Semantics
Classification :
BC
135
.
C56
1970
